Automated Method Induction: Functional Goes Object Oriented
نویسندگان
چکیده
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed and implemented object orientation. Today it is a standard to have UML diagrams automatically translated into program code wherever possible. However, as few tools really go beyond this we demonstrate a simple functional representation for objects, methods and variables. In addition we show how our inductive programming system Igor can not only understand those basic notions like referencing methods within objects or using a simple protocol like something we called message-passing, but how it can even learn them by a given specification which is the major feature of this paper.
منابع مشابه
Object-Oriented Method for Automatic Extraction of Road from High Resolution Satellite Images
As the information carried in a high spatial resolution image is not represented by single pixels but by meaningful image objects, which include the association of multiple pixels and their mutual relations, the object based method has become one of the most commonly used strategies for the processing of high resolution imagery. This processing comprises two fundamental and critical steps towar...
متن کاملOn Attributes of Objects in Object-Oriented Software Analysis
One of the modern paradigms to develop a system is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles. There is a sequence of activities to develop an analysis model. In the first step, we work in developing an initial use case model. Then in the second step, they identify a number of concepts and build a glossary of partic...
متن کاملAnalysis Accruing of Sentinel 2A Image’s Classification Methods Based on Object Base and Pixel Base in Flood Area Zoning of Taleqan River
Flood zonation mapping is one of the priorities for the soil and water management, which Remote Sensing (RS) capabilities are very applicable to this issue. The main objective of this research was study of accuracy of the Object oriented and Pixel based methods for flood zonation mapping in the Taleghan River basin. Therefore, the Sentinel 2A satellite image of the study area classified using s...
متن کاملCollaboration-based verification of Object-Oriented models in HOL
This paper presents a methodology to verify Object-Oriented models based on object collaborations using the HOL theorem prover. The advantage of the collaboration-based verification is to be able to prove invariants that range over the whole system. In our theory, collaborations are defined to be sequences of function application and invariants are proved by structural induction on the system s...
متن کاملA hybrid object-oriented class testing method : based on state-based and data-flow testing
A new hybrid object-oriented class testing method, which combines state-based testing with data-flow testing approaches, is proposed in this paper. Based on this approach, an automated class test tool, called MACT (Method for Automated Class Testing), has been built. This consists of five components: a test case tree generator, a test message generator, a test driver, a test result inspector an...
متن کامل